منابع مشابه
Coroutining Folds with Hyperfunctions
Fold functions are a general mechanism for computing over recursive data structures. First-order folds compute results bottom-up. With higher-order folds, computations that inherit attributes from above can also be expressed. In this paper, we explore folds over a form of recursive higher-order function, called hyperfunctions, and show that hyperfunctions allow fold computations to coroutine ac...
متن کاملAsymptotic hyperfunctions, tempered hyperfunctions, and asymptotic expansions
We introduce new subclasses of Fourier hyperfunctions of mixed type, satisfying polynomial growth conditions at infinity, and develop their sheaf and duality theory. We use Fourier transformation and duality to examine relations of these asymptotic and tempered hyperfunctions to known classes of test functions and distributions, especially the Gel’fand-Shilov spaces. Further it is shown that th...
متن کاملNash implementation via hyperfunctions
Hyperfunctions are social choice rules which assign sets of alternatives to preference profiles over sets. So, they are more general objects compared to standard (social choice) correspondences. Thus every correspondence can be expressed in terms of an equivalent hyperfunction. We postulate the equivalence between implementing a correspondence and its equivalent hyperfunction. We give a partial...
متن کاملAutomorphic hyperfunctions and period functions
We write x = Re z and y = Im z for z ∈ H, and use the Whittaker function W·,·( · ), see, e.g., [12], 1.7. One can express W0,· in terms of a modified Bessel function: W0,μ(y) = √ y/πKμ(y/2). These Maass forms occur as eigenfunctions in the spectral decomposition of the Laplacian in L ( Γmod\H, dxdy y2 ) , with Γmod := PSL2(Z). The eigenvalue is s (1− s). For any given s the space of such Maass ...
متن کاملPolylogarithms, Hyperfunctions and Generalized Lipschitz Summation Formulae
A generalization of the classical Lipschitz summation formula is proposed. It involves new polylogarithmic rational functions constructed via the Fourier expansion of certain sequences of Bernoulli– type polynomials. Related families of one–dimensional hyperfunctions are also constructed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.129.9